#Just a utility I used to rename the files once they've been exported.
import os,json
l = json.load(open(input("list> ")))
os.chdir(input("directory> "))
for f in os.listdir(os.getcwd()):
	try:os.rename(f,l[int(f[:f.rfind('.')].lower())-1])
	except:continue